Merge from gnulib.
authorPaul Eggert <eggert@cs.ucla.edu>
Fri, 6 May 2011 06:03:30 +0000 (23:03 -0700)
committerPaul Eggert <eggert@cs.ucla.edu>
Fri, 6 May 2011 06:03:30 +0000 (23:03 -0700)
commit61b3aff0b9db955c2dee0be6e33138e0227435cb
tree2318c92c56f631e3d0235848c11d130c04538c9a
parentb13293966fa241cdfd7dc1710cf5951b8ca62522
Merge from gnulib.
lib/verify.h